Results for 'Daniele Bruno Garancini'

978 found
Order:
  1. Experiment-Driven Rationalism.Daniele Bruno Garancini - 2024 - Synthese 203 (109):1-27.
    Philosophers debate about which logical system, if any, is the One True Logic. This involves a disagreement concerning the sufficient conditions that may single out the correct logic among various candidates. This paper discusses whether there are necessary conditions for the correct logic; that is, I discuss whether there are features such that if a logic is correct, then it has those features, although having them might not be sufficient to single out the correct logic. Traditional rationalist arguments suggest that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Being Fully Excused for Wrongdoing.Daniele Bruno - 2022 - Pacific Philosophical Quarterly.
    On the classical understanding, an agent is fully excused for an action if and only if performing this action was a case of faultless wrongdoing. A major motivation for this view is the apparent existence of paradigmatic types of excusing considerations, affecting fault but not wrongness. I show that three such considerations, ignorance, duress and compulsion, can be shown to have direct bearing on the permissibility of actions. The appeal to distinctly identifiable excusing considerations thus does not stand up to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Must We Worry About Epistemic Shirkers?Daniele Bruno - 2024 - Inquiry: An Interdisciplinary Journal of Philosophy:1-26.
    It is commonly assumed that blameworthiness is epistemically constrained. If one lacks sufficient epistemic access to the fact that some action harms another, then one cannot be blamed for harming. Acceptance of an epistemic condition for blameworthiness can give rise to a worry, however: could agents ever successfully evade blameworthiness by deliberately stunting their epistemic position? I discuss a particularly worrisome version of such epistemic shirking, in which agents pre-emptively seek to avoid access to potentially morally relevant facts. As Roy (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Como Saber se uma Prática é 'Baseada em Evidências'.Danielle Costa, Clarice Ferreira, Bruno Souza & Leandro Malloy-Diniz - 2020 - Londrina: Sapiens Instituto de Psicologia.
    O que são práticas baseadas em evidências? Por que isso é importante para a Psicologia? Neste ebook Danielle de Souza Costa, Bruno Rezende de Souza, Clarice de Medeiros Chaves Ferreira e Leandro Fernandes Malloy-Diniz fazem uma breve introdução ao tema, conceituando o significado de termos chave como "evidências", "ciência" e "pseudociência", discutindo algumas das dificuldades que encontramos hoje na avaliação da confiabilidade dos estudos científicos, oferecendo dicas para os iniciantes, e destacando a importância do estudo de uma psicologia científica.
    Download  
     
    Export citation  
     
    Bookmark  
  5. Petitio Principii: A Bad Form of Reasoning.Daniele Sgaravatti - 2013 - Mind 122 (487):fzt086.
    In this paper I develop an account of petitio principii (the fallacy sometimes also called ‘vicious circularity’, or ‘begging the question’) which has two crucial features: it employs the notion of doxastic justification, and it takes circularity to be relative to an evidential state. According to my account, an argument will be circular relative to an evidential state if and only if having doxastic justification for the conclusion is necessary, for a subject in that evidential state, to have doxastic justification (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  6. Incompatibility Semantics from Agreement.Daniele Porello - 2012 - Philosophia 40 (1):99-119.
    In this paper, I discuss the analysis of logic in the pragmatic approach recently proposed by Brandom. I consider different consequence relations, formalized by classical, intuitionistic and linear logic, and I will argue that the formal theory developed by Brandom, even if provides powerful foundational insights on the relationship between logic and discursive practices, cannot account for important reasoning patterns represented by non-monotonic or resource-sensitive inferences. Then, I will present an incompatibility semantics in the framework of linear logic which allow (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  7. Types of Technological Innovation in the Face of Uncertainty.Daniele Chiffi, Stefano Moroni & Luca Zanetti - 2022 - Philosophy and Technology 35 (4):1-17.
    Technological innovation is almost always investigated from an economic perspective; with few exceptions, the specific technological and social nature of innovation is often ignored. We argue that a novel way to characterise and make sense of different types of technological innovation is to start considering uncertainty. This seems plausible since technological development and innovation almost always occur under conditions of uncertainty. We rely on the distinction between, on the one hand, uncertainty that can be quantified (e.g. probabilistic risk) and, on (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. The Logical Burdens of Proof. Assertion and Hypothesis.Daniele Chiffi & Fabien Schang - 2017 - Logic and Logical Philosophy 26 (4):1-22.
    The paper proposes two logical analyses of (the norms of) justification. In a first, realist-minded case, truth is logically independent from justification and leads to a pragmatic logic LP including two epistemic and pragmatic operators, namely, assertion and hypothesis. In a second, antirealist-minded case, truth is not logically independent from justification and results in two logical systems of information and justification: AR4 and AR4¢, respectively, provided with a question-answer semantics. The latter proposes many more epistemic agents, each corresponding to a (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  9. The Vagueness of Religious Beliefs.Daniele Bertini - 2020 - European Journal for Philosophy of Religion 12 (2):181-210.
    My paper characterizes religious beliefs in terms of vagueness. I introduce my topic by providing a general overview of my main claims. In the subsequent section, I develop basic distinctions and terminology for handling the notion of religious tradition and capturing vagueness. In the following sections, I make the case for my claim that religious beliefs are vague by developing a general argument from the interconnection between the referential opacity of religious belief content and the long-term communitarian history of the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. The Refutation of Intentionalism.Daniele Bertini - 2023 - Logos and Episteme 14 (4):353-386.
    My purpose is to refute the intentionalist approach to perception. Drawing from mainstream literature, I identify a principle on which any version of intentional theory relies. My paper is a detailed attack on the truth of the principle. In the first section I will introduce terminology and will taxonomize various statements of the intentional view. In the second section I will briefly outline a sketch of the skeletal intentionalist theory that develops from the assumption of the principle alone. Then, in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Esperienze, linguaggio, giustificazione. Su "A Manual of Experimental Philosophy" di David Berman.Daniele Bertini - 2011 - Giornale di Metafisica 33 (3):469-482.
    David Berman's work on experimental philosophy is a defence of a traditional approach to empiricism against both contemporary rationalism and logico-analytic philosophy. While his approach focuses on empirical evidence in support of theoretical claims, Berman distinguishes his position from the kind of experimentalism recently risen from the analytic world. After having highlighted the merit of Berman's approach to philosophy, I comment on his main views, addressing particularly the relationship between language, intuitions and experience from the standpoint of the epistemological topic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Dual PECCS: A Cognitive System for Conceptual Representation and Categorization.Antonio Lieto, Daniele Radicioni & Valentina Rho - 2017 - Journal of Experimental and Theoretical Artificial Intelligence 29 (2):433-452.
    In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis of conceptual (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  13. A Multimodal Pragmatic Treatment of the Knowability Paradox.Massimiliano Carrara, Daniele Chiffi & Davide Sergio - 2017 - In Gillman Payette & Rafał Urbaniak (eds.), Applications of Formal Philosophy: The Road Less Travelled. Cham, Switzerland: Springer International Publishing AG. pp. 195-209.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  14. From human to artificial cognition and back: New perspectives on cognitively inspired AI systems.Antonio Lieto & Daniele Radicioni - 2016 - Cognitive Systems Research 39 (c):1-3.
    We overview the main historical and technological elements characterising the rise, the fall and the recent renaissance of the cognitive approaches to Artificial Intelligence and provide some insights and suggestions about the future directions and challenges that, in our opinion, this discipline needs to face in the next years.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Philosophical aspects of probabilistic seismic hazard analysis (PSHA): a critical review.Luca Zanetti & Daniele Chiffi - 2023 - Natural Hazards:1-20.
    The goal of this paper is to review and critically discuss the philosophical aspects of probabilistic seismic hazard analysis (PSHA). Given that estimates of seismic hazard are typically riddled with uncertainty, diferent epistemic values (related to the pursuit of scientifc knowledge) compete in the selection of seismic hazard models, in a context infuenced by non-epistemic values (related to practical goals and aims) as well. We frst distinguish between the diferent types of uncertainty in PSHA. We claim that epistemic and nonepistemic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. The Trade between Fiction and Reality: Smuggling across Imagination and the World.Wolfgang Huemer, Daniele Molinari & Valentina Petrolini - 2022 - Discipline Filosofiche 32 (2):191-213.
    The current debate on literary cognitivism in the philosophy of fiction typically assumes that we can rigorously distinguish between fictional and factual, and focuses on the question of whether and how works of fiction can impart propositional knowledge to the reader. In this paper we suggest that this way of framing the debate may be problematic. We argue that works of fiction almost inevitably include a reference to the real world and that – contrary to what is usually assumed – (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Assertion and hypothesis: a logical framework for their opposition relations.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Logic Journal of the IGPL 25 (2):131-144.
    Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On the (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  18. Pink panthers and toothless tigers: three problems in classification.Guendalina Righetti, Daniele Porello, Oliver Kutz, Nicolas Troquard & Claudio Masolo - 2019 - In Guendalina Righetti, Daniele Porello, Oliver Kutz, Nicolas Troquard & Claudio Masolo (eds.), Proceedings of the 7th International Workshop on Artificial Intelligence and Cognition, Manchester, UK, September 10-11, 2019. {CEUR} Workshop Proceedings 2483. pp. 39-53.
    Many aspects of how humans form and combine concepts are notoriously difficult to capture formally. In this paper, we focus on the representation of three particular such aspects, namely overexten- sion, underextension, and dominance. Inspired in part by the work of Hampton, we consider concepts as given through a prototype view, and by considering the interdependencies between the attributes that define a concept. To approach this formally, we employ a recently introduced family of operators that enrich Description Logic languages. These (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  19. On the elusive notion of meta-agreement.Valeria Ottonelli & Daniele Porello - 2013 - Politics, Philosophy and Economics 12 (1):68-92.
    Public deliberation has been defended as a rational and noncoercive way to overcome paradoxical results from democratic voting, by promoting consensus on the available alternatives on the political agenda. Some critics have argued that full consensus is too demanding and inimical to pluralism and have pointed out that single-peakedness, a much less stringent condition, is sufficient to overcome voting paradoxes. According to these accounts, deliberation can induce single-peakedness through the creation of a ‘meta-agreement’, that is, agreement on the dimension according (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  20. Logical operators for ontological modeling.Stefano Borgo, Daniele Porello & Nicolas Troquard - 2014 - In Pawel Garbacz & Oliver Kutz (eds.), Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, {FOIS} 2014, September, 22-25, 2014, Rio de Janeiro, Brazil}. pp. 23--36.
    We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. On assertion and denial in the logic for pragmatics.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Journal of Applied Logic 25:S97-S107.
    The aim of this paper is twofold: First, we present and develop a system of logic for pragmatics including the act of denial. Second, we analyse in our framework the so-called paradox of assertability. We show that it is possible to yield sentences that are not assertable. Moreover, under certain conditions, a symmetric result can be obtained: There is a specular paradox of deniability. However, this paradox is based on the problematic principle of classical denial equivalence.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Sense and Proof.Carlo Penco & Daniele Porello - 2010 - In Marcello D'Agostino, Federico Laudisa, Giulio Giorello, Telmo Pievani & Corrado Sinigaglia (eds.), New Essays in Logic and Philosophy of Science. College Publications.
    In this paper we give some formal examples of ideas developed by Penco in two papers on the tension inside Frege's notion of sense (see Penco 2003). The paper attempts to compose the tension between semantic and cognitive aspects of sense, through the idea of sense as proof or procedure – not as an alternative to the idea of sense as truth condition, but as complementary to it (as it happens sometimes in the old tradition of procedural semantics).
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Some Logical Notations for Pragmatic Assertions.Massimiliano Carrara, Daniele Chiffi & Ahti-Veikko Pietarinen - 2020 - Logique Et Analyse 251:297 - 315.
    The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. On weak truthmaking.Nicola Guarino, Daniele Porello & Giancarlo Guizzardi - 2019 - In Adrien Barton, Selja Seppälä & Daniele Porello (eds.), Proceedings of the Joint Ontology Workshops 2019. CEUR Workshop Proceedings.
    Informally speaking, a truthmaker is something in the world in virtue of which the sentences of a language can be made true. This fundamental philosophical notion plays a central role in applied ontology. In particular, a recent nonorthodox formulation of this notion proposed by the philosopher Josh Parsons, which we labelled weak truthamking, has been shown to be extremely useful in addressing a number of classical problems in the area of Conceptual Modeling. In this paper, after revisiting the classical notion (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Metainferential duality.Bruno Da Ré, Federico Pailos, Damian Szmuc & Paula Teijeiro - 2020 - Journal of Applied Non-Classical Logics 30 (4):312-334.
    The aim of this article is to discuss the extent to which certain substructural logics are related through the phenomenon of duality. Roughly speaking, metainferences are inferences between collect...
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  26. Derivability and Metainferential Validity.Bruno Da Ré, Damian Szmuc & Paula Teijeiro - 2021 - Journal of Philosophical Logic 51 (6):1521-1547.
    The aim of this article is to study the notion of derivability and its semantic counterpart in the context of non-transitive and non-reflexive substructural logics. For this purpose we focus on the study cases of the logics _S__T_ and _T__S_. In this respect, we show that this notion doesn’t coincide, in general, with a nowadays broadly used semantic approach towards metainferential validity: the notion of local validity. Following this, and building on some previous work by Humberstone, we prove that in (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  27. Companion robots: the hallucinatory danger of human-robot interactions.Piercosma Bisconti & Daniele Nardi - 2018 - In Piercosma Bisconti & Daniele Nardi (eds.), AIES '18: Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society. pp. 17-22.
    The advent of the so-called Companion Robots is raising many ethical concerns among scholars and in the public opinion. Focusing mainly on robots caring for the elderly, in this paper we analyze these concerns to distinguish which are directly ascribable to robotic, and which are instead preexistent. One of these is the “deception objection”, namely the ethical unacceptability of deceiving the user about the simulated nature of the robot’s behaviors. We argue on the inconsistency of this charge, as today formulated. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Some Preliminaries on Assertion and Denial.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Logique Et Analyse 239:203-207.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Extending and Applying a Logic for Pragmatics.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Logique Et Analyse 239:227-244.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Asymmetric Hybrids: Dialogues for Computational Concept Combination.Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria Hedblom & Pietro Galliani - 2022 - In Fabian Neuhaus & Boyan Brodaric (eds.), Formal Ontology in Information Systems - Proceedings of the Twelfth International Conference, {FOIS} 2021, Bozen-Bolzano, Italy, September 11-18, 2021. Frontiers in Artificial Intelligence and Applications 344. IOS Press. pp. 81-96.
    When people combine concepts these are often characterised as “hybrid”, “impossible”, or “humorous”. However, when simply considering them in terms of extensional logic, the novel concepts understood as a conjunctive concept will often lack meaning having an empty extension (consider “a tooth that is a chair”, “a pet flower”, etc.). Still, people use different strategies to produce new non-empty concepts: additive or integrative combination of features, alignment of features, instantiation, etc. All these strategies involve the ability to deal with conflicting (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Perceptron Connectives in Knowledge Representation.Pietro Galliani, Guendalina Righetti, Daniele Porello, Oliver Kutz & Nicolas Toquard - 2020 - In Pietro Galliani, Guendalina Righetti, Daniele Porello, Oliver Kutz & Nicolas Toquard (eds.), Knowledge Engineering and Knowledge Management - 22nd International Conference, {EKAW} 2020, Bolzano, Italy, September 16-20, 2020, Proceedings. Lecture Notes in Computer Science 12387. pp. 183-193.
    We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, and in particular their possible use as a bridge between statistical learning of models from data and logical reasoning over knowledge bases. We prove that such connectives can be added to the language of most forms of Description Logic without increasing the complexity of the corresponding inference problem. We show, with a practical example over the Gene Ontology, how even simple instances of perceptron connectives are (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Ontological Foundations of Competition.Tiago Prince Sales, Daniele Porello, Nicola Guarino, Giancarlo Guizzardi & John Mylopoulos - 2018 - In Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.), Formal Ontology in Information Systems: Proceedings of the 10th International Conference (FOIS 2018). IOS Press. pp. 96-112.
    It is widely recognized that accurately identifying and classifying competitors is a challenge for many companies and entrepreneurs. Nonetheless, it is a paramount activity which provide valuable insights that affect a wide range of strategic decisions. One of the main challenges in competitor identification lies in the complex nature of the competitive relationships that arise in business envi- ronments. These have been extensively investigate over the years, which lead to a plethora of competition theories and frameworks. Still, the concept of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Le Soleil à la Renaissance et à l’âge classique : actes, enrichis de contributions supplémentaires, de la journée d’études tenue à l’Université Paul-Valéry - Montpellier 3 (20 novembre 2015).Jean-François Stoffel & François Roudaut - 2018 - Namur, Belgique: Revue des Questions Scientifiques.
    ROUDAUT (François) & STOFFEL (Jean-François), Avant-propos (pp. 371-372). BLAY (Michel), Soleil de Copernic et soleil de Galilée (pp. 373-389). MEHL (Édouard), Le Soleil au cinquième concile du Latran (1512-1516) : Copernic et la réforme du calendrier julien (pp. 391-408). STOFFEL (Jean-François), «Qui choisirait de poser ce flambeau dans un lieu autre ou meilleur que celui d’où il peut illuminer le tout simultanément ?»: examen de la pertinence d’un argument copernicien de convenance (pp. 409-458). ROUDAUT (François), Le Soleil chez quelques lexicographes (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Complexity of Judgment Aggregation.Ulle Endriss, Umberto Grandi & Daniele Porello - 2012 - Journal of Artificial Intelligence Research 45:481--514.
    We analyse the computational complexity of three problems in judgment aggregation: (1) computing a collective judgment from a profile of individual judgments (the winner determination problem); (2) deciding whether a given agent can influence the outcome of a judgment aggregation procedure in her favour by reporting insincere judgments (the strategic manipulation problem); and (3) deciding whether a given judgment aggregation scenario is guaranteed to result in a logically consistent outcome, independently from what the judgments supplied by the individuals are (the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  35. Contraction, Infinitary Quantifiers, and Omega Paradoxes.Bruno Da Ré & Lucas Rosenblatt - 2018 - Journal of Philosophical Logic 47 (4):611-629.
    Our main goal is to investigate whether the infinitary rules for the quantifiers endorsed by Elia Zardini in a recent paper are plausible. First, we will argue that they are problematic in several ways, especially due to their infinitary features. Secondly, we will show that even if these worries are somehow dealt with, there is another serious issue with them. They produce a truth-theoretic paradox that does not involve the structural rules of contraction.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  36. Temas em Filosofia Contemporânea.Jaimir Conte & Cezar Mortari - 2014 - Florianópolis, SC, Brasil: NEL/UFSC.
    Sumário: 1. O conceito de revolução, Amélia de Jesus Oliveira; 2. Mudanças de concepção de mundo, Artur Bezzi Günther; 3. Habilidade e causalidade: uma proposta confiabilista para casos típicos de conhecimento, Breno Ricardo Guimarães Santos; 4. El realismo interno de Putnam y sus implicaciones en la filosofía de la ciencia y para el realismo científico, Marcos Antonio da Silva; 5.O papel da observação na atividade científica segundo Peirce, Max Rogério Vicentini; 6.Fact and Value entanglement: a collapse of objective reality?, Oswaldo (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Responsible innovation at work: gamification, public engagement, and privacy by design.Blok Vincent, Ruggio Daniele & Coenen Christopher - 2022 - Journal of Responsible Innovation.
    Download  
     
    Export citation  
     
    Bookmark  
  38. Types and taxonomic structures in conceptual modeling: A novel ontological theory and engineering support.Giancarlo Guizzardi, Tiago Prince Sales, Claudenir M. Fonseca & Daniele Porello - 2021 - Data and Knowledge Engineering 1 (134):101891.
    Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. DOLCE: A descriptive ontology for linguistic and cognitive engineering1.Stefano Borgo, Roberta Ferrario, Aldo Gangemi, Nicola Guarino, Claudio Masolo, Daniele Porello, Emilio M. Sanfilippo & Laure Vieu - 2022 - Applied ontology 17 (1):45-69.
    dolce, the first top-level ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly formalized, and (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  40. (1 other version)Reprodução Animal: Fisiologia do Parto e da Lactação Animal.Emanuel Isaque Cordeiro da Silva -
    FISIOLOGIA DO PARTO E DA LACTAÇÃO ANIMAL -/- ANIMAL REPRODUCTION: PHISIOLOGY OF PARTURITION AND ANIMAL LACTATION -/- Emanuel Isaque Cordeiro da Silva Departamento de Zootecnia da UFRPE WhatsApp: (82)98143-8399 -/- 1. INTRODUÇÃO O sucesso biológico do processo de reprodução culmina com a sobrevivência das crias. Durante a gestação, o feto desenvolve-se no útero materno protegido das influências externas, e obtendo os nutrientes e o oxigênio através da mãe. O parto é o processo biológico que marca o fim da gestação e (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Non-reflexive Nonsense: Proof-Theory for Paracomplete Weak Kleene Logic.Bruno Da Ré, Damian Szmuc & María Inés Corbalán - forthcoming - Studia Logica:1-17.
    Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic `of nonsense' introduced by Dmitry Bochvar and, independently, presented as the weak Kleene logic K3W by Stephen C. Kleene. The main features of this calculus are (i) that it is non-reflexive, i.e., Identity is not included as an explicit rule (although a restricted form of it with premises is derivable); (ii) that it includes rules where no variable-inclusion conditions are attached; and (iii) (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections.Stephane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello & Joel Uckelman - 2011 - In Stephane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello & Joel Uckelman (eds.), {IJCAI} 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pp. 18--23.
    Many collective decision making problems have a combinatorial structure: the agents involved must decide on multiple issues and their preferences over one issue may depend on the choices adopted for some of the others. Voting is an attractive method for making collective decisions, but conducting a multi-issue election is challenging. On the one hand, requiring agents to vote by expressing their preferences over all combinations of issues is computationally infeasible; on the other, decomposing the problem into several elections on smaller (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. On Three-Valued Presentations of Classical Logic.Bruno da Ré, Damian Szmuc, Emmanuel Chemla & Paul Égré - forthcoming - Review of Symbolic Logic:1-23.
    Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, in which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Puberdade e Estacionalidade Reprodutiva dos Animais.Emanuel Isaque Cordeiro da Silva - manuscript
    OBJETIVO -/- O estudante de Zootecnia e de Veterinária, quando se depara com a produção animal, um dos pilares importantes é a reprodução, uma vez que é a perpetuação da espécie, seja para gerar filhas de uma vaca campeã em produção leiteira e de um touro com rusticidade e com aptidão produtiva de corte, ou mesmo para reposição de um plantel, o mesmo deve estar consciente de que esse ramo é de extrema responsabilidade, já que estará intimamente lidando com a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. UFO: Unified Foundational Ontology.Giancarlo Guizzardi, Alessander Bottes Benevides, Claudemir M. Fonseca, João Paulo A. Almeida, Tiago Prince Sales & Daniele Porello - 2022 - Applied ontology 1 (17):167-210.
    The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to illustrate the application of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  46. Hybrid collective intentionality.Thomas Brouwer, Roberta Ferrario & Daniele Porello - 2020 - Synthese 199 (1-2):3367-3403.
    The theory of collective agency and intentionality is a flourishing field of research, and our understanding of these phenomena has arguably increased greatly in recent years. Extant theories, however, are still ill-equipped to explain certain aspects of collective intentionality. In this article we draw attention to two such underappreciated aspects: the failure of the intentional states of collectives to supervene on the intentional states of their members, and the role of non-human factors in collective agency and intentionality. We propose a (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  47. The interplay between models and observations.Claudio Masolo, Alessander Botti Benevides & Daniele Porello - 2018 - Applied ontology 13 (1):41-71.
    We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..
    We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  49. Anti-doping, purported rights to privacy and WADA's whereabouts requirements: A legal analysis.Oskar MacGregor, Richard Griffith, Daniele Ruggiu & Mike McNamee - 2013 - Fair Play 1 (2):13-38.
    Recent discussions among lawyers, philosophers, policy researchers and athletes have focused on the potential threat to privacy posed by the World Anti-Doping Agency’s (WADA) whereabouts requirements. These requirements demand, among other things, that all elite athletes file their whereabouts information for the subsequent quarter on a quarterly basis and comprise data for one hour of each day when the athlete will be available and accessible for no advance notice testing at a specified location of their choosing. Failure to file one’s (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  50. A formação da subjetividade moral no pensamento de Michel Foucault.Bruno Camilo de Oliveira - 2021 - Journal Cajuína 6 (1):11-22.
    The objective of this work is to present Michel Foucault's perspective on the formation of moral subjectivity according to his text entitled “The use of pleasures and the techniques of self”. In the referred text, Foucault emphasizes that moral action should not be constituted in acts according to a rule of conduct supported by moral concepts, but in acts according to a pure relation of the subject with his internal wisdom (subjectivity), a relationship that should not be understood as simply (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 978